Give Me Another One!
نویسندگان
چکیده
We investigate the complexity of an optimization problem in Boolean propositional logic related to information theory: Given a conjunctive formula over a set of relations, find a satisfying assignment with minimal Hamming distance to a given assignment that satisfies the formula (NearestOtherSolution, NOSol). We present a complete classification with respect to the relations admitted in the formula. We give polynomial-time algorithms for several classes of constraint languages. For all other cases we prove hardness or completeness regarding poly-APX, NPO, or equivalence to a well-known hard optimization problem.
منابع مشابه
P-66: The Impact of Infertility on Pschological and Social Status of Women in Iran: A Content Analysis Study
s:7477:"Background: To explore the Impact of Infertility on Pschological and Social Status of Women in Iran Materials and Methods: Design A qualitative design, based on the content analysis approach, was employed for data collection and analysis of the experiences of Iranian women on infertility. Qualitative studies are intended to enhance understanding and describe the world of human experienc...
متن کاملInfantsâ€TM online perception of give-and-take interactions
This research investigated infants’ online perception of give-me gestures during observation of a social interaction. In the first experiment, goal-directed eye movements of 12-month-olds were recorded as they observed a give-and-take interaction in which an object is passed from one individual to another. Infants’ gaze shifts from the passing hand to the receiving handwere significantly faster...
متن کاملPnm-6: The Impact of Infertility on Pschological and Social Status of Women in Iran: A Content Analysis Study
s:7500:"Background: The aim of this study was to explore the Impact of Infertility on Pschological and Social Status of Women in Iran. Materials and Methods: A qualitative design, based on the content analysis approach, was employed for data collection and analysis of the experiences of Iranian women on infertility. Qualitative studies are intended to enhance understanding and describe the worl...
متن کاملInvestigations on the coupling of ethylene and alkynes in [IrTp Me2] compounds: water as an effective trapping agent.
The reaction of the bis(ethylene) complex [Tp(Me(2) )Ir(C(2)H(4))(2)] (1) (Tp(Me(2) ): hydrotris(3,5-dimethylpyrazolyl)borate) with two equivalents of dimethyl acetylenedicarboxylate (DMAD) in CH(2)Cl(2) at 25 degrees C gives the hydride-alkenyl species [Tp(Me(2) )IrH{C(R)=C(R)C(R)=C(R)CH=CH(2)}] (2, R: CO(2)Me) in high yield. A careful study of this system has established the active role of a ...
متن کاملThe Matrix Exponential Distribution - A Tool for Wireless System Performance Analysis
In [1], we introduced a new, matrix algebraic, performance analysis framework for wireless systems with fading channels based on the matrix exponential distribution. The main idea was to use the compact, powerful, and easy-to-use, matrix exponential (ME)-distribution for i) modeling the unprocessed channel signal to noise ratio (SNR), ii) exploiting the closure property of the ME-distribution f...
متن کامل